Gauging noninvertible defects: a 2-categorical perspective
نویسندگان
چکیده
We generalize the notion of an anomaly for a symmetry to noninvertible enacted by surface operators using framework condensation in 2-categories. Given multifusion 2-category, potentially with some additional levels monoidality, we prove theorems about structure 2-category obtained condensing suitable algebra object. give examples where resulting category displays grouplike fusion rules and through cohomology computation, find obstruction further vacuum theory.
منابع مشابه
Automata Learning: A Categorical Perspective
Automata learning is a known technique to infer a finite state machine from a set of observations. In this paper, we revisit Angluin’s original algorithm from a categorical perspective. This abstract view on the main ingredients of the algorithm lays a uniform framework to derive algorithms for other types of automata. We show a straightforward generalization to Moore and Mealy machines, which ...
متن کاملSynchronization from a Categorical Perspective
We introduce a notion of synchronization for higher-dimensional automata, based on coskeletons of cubical sets. Categori cation transports this notion to the setting of categorical transition systems. We apply the results to study the semantics of an imperative programming language with message-passing.
متن کاملConceptual Data Modelling from a Categorical Perspective
For successful information systems development, conceptual data modeling is essential. Nowadays many techniques for conceptual data modeling exist. In-depth comparisons of concepts of these techniques are very diicult as the mathematical formalizations of these techniques, if they exist at all, are very diierent. As such there is a need for a unifying formal framework providing a suuciently hig...
متن کاملKrivine's classical realisability from a categorical perspective
In a sequence of papers (Krivine 2001; Krivine 2003; Krivine 2009) J.-L. Krivine has introduced his notion of Classical Realizability for classical second order logic and Zermelo-Fraenkel set theory. Moreover, in more recent work (Krivine 2008) he has considered forcing constructions on top of it with the ultimate aim of providing a realizability interpretation for the axiom of choice. The aim ...
متن کاملKrivine’s Classical Realizability from a Categorical Perspective
Krivine structures validating the reasonable assumption (SS1) are called strong abstract Krivine structures (saks’s). 10 Axiomatic Class Realiz. (5) Obviously, for A,B ∈ P⊥⊥(Λ) we have |A→B| ⊆ |A|→|B| = {t ∈ Λ | ∀s ∈ |A| ts ∈ |B|} But for any t ∈ |A| → |B| we have Et ∈ |A→B| where E = S(KI) with I = SKK.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Letters in Mathematical Physics
سال: 2023
ISSN: ['0377-9017', '1573-0530']
DOI: https://doi.org/10.1007/s11005-023-01655-1